Issue2892.agda:6,1-21
Ill-typed pattern after with abstraction:  y
(perhaps you can replace it by '_'?)
when checking the clause left hand side
Issue2892.with-14 A X y
